Timed Simulation with Multiple Resource Schedulability Analysis
نویسندگان
چکیده
Target applications we consider in this project are model-based computer controlled systems, for which the required system response is deterministic both in value and time. Specification of real-time software components for multiple resources and multi-domain timed simulation is discussed. We describe a simulation framework in the Ptolemy modeling environment that takes into account timing requirements of the model software components and allows for schedulability analysis. In this framework both a static and dynamic scheduling mechanism is proposed.
منابع مشابه
A Generic Approach to Schedulability Analysis of Real-Time Tasks
In off-line schedulability tests for real time systems, tasks are usually assumed to be periodic, i.e. they are released with fixed rates. To relax the assumption of complete knowledge on arrival times, we propose to use timed automata to describe task arrival patterns. In a recent work, it is shown that for fixed priority scheduling strategy and tasks with only timing constraints (i.e. executi...
متن کاملProcess-Algebraic Analysis of Timing and Schedulability Properties
In this chapter, we present an overview of how timing information can be embedded in process-algebraic frameworks. We concentrate on the case of discrete-time modeling. We begin by discussing design approaches that have been adopted in different formalisms to model time and time passage, and how the resulting mechanisms interact with one another and with standard untimed process-algebraic opera...
متن کاملModel-Based Analysis of Contract-Based Real-Time Scheduling
We apply automata theory to analyze the schedulability of real-time component-based applications running on uniform multi-processor platforms. The resource requirements of each application or application component are specified in a service contract resulting a hierarchy of contracts. As we are interested in determining the schedulability of such applications, this hierarchy of contracts is map...
متن کاملSchedulability Analysis of Timed CSP Models Using the PAT Model Checker
Timed CSP can be used to model and analyse real-time and concurrent behaviour of embedded control systems. Practical CSP implementations combine the CSP model of a real-time control system with prioritized scheduling to achieve efficient and orderly use of limited resources. Schedulability analysis of a timed CSP model of a system with respect to a scheduling scheme and a particular execution p...
متن کاملA Petri Net based Method for Analyzing Schedulability of Distributed Real-time Embedded Systems
As computer systems become increasingly internetworked, a challenging problem faced by researchers and developers of distributed real-time and embedded (DRE) systems is devising and implementing an effective shedulability strategy that can meet real-time requirements in varying operational conditions. In this paper, an extended Place-timed Petri nets (EPdPN) is proposed for schedulability analy...
متن کامل